Empty file only to add VROOT/dev directory to git.